Edsger W. Dijkstra - PDFSEARCH.IO - Document Search Engine

Edsger W. Dijkstra
Results: 213

#	Item
131	Fast A3 Algorithms for Multiple Sequence Alignment Takahiro Ikeda Hiroshi Imai Add to Reading List Source URL: www.jsbi.org Language: English - Date: 1998-01-09 02:49:52 Graph theory Mathematics Routing algorithms Network theory Edsger W. Dijkstra Shortest path problem Dynamic programming Edge disjoint shortest pair algorithm K shortest path routing
132	Start Destination The Landmark Spider: Weaving the Landmark Web Add to Reading List Source URL: www.strc.ch Language: English - Date: 2008-12-12 11:36:05 Routing algorithms Mathematics Edsger W. Dijkstra Network theory Game artificial intelligence Graph theory Geography Search algorithms Wayfinding A* search algorithm Shortest path problem Landmark
133	Directed Graph Exploration Klaus-Tycho Foerster and Roger Wattenhofer Computer Engineering and Networks Laboratory, ETH Zurich, 8092 Zurich, Switzerland {k-t.foerster,wattenhofer}@tik.ee.ethz.ch Add to Reading List Source URL: www.tik.ee.ethz.ch Language: English - Date: 2015-05-18 12:16:04 Graph theory Mathematics Combinatorial optimization Edsger W. Dijkstra Routing algorithms Search algorithms Graph traversal Shortest path problem A* search algorithm Directed graph Matching Connectivity
134	Parallelism, Concurrency, and Asynchrony in Perl 6 Jonathan Worthington Hi! Add to Reading List Source URL: www.jnthn.net Language: English - Date: 2015-08-29 10:42:10 Software engineering Software Computing Cross-platform software High-level programming languages Scripting languages Parallel computing Edsger W. Dijkstra Concurrent computing Perl Thread Asynchrony
135	Route Choice: Models and Challenges Shlomo Bekhor Technion – Israel Institute of Technology Swiss Transport Research Conference Add to Reading List Source URL: www.strc.ch Language: English - Date: 2010-09-16 08:28:28 Metaphysics Network theory Philosophy Operations research Edsger W. Dijkstra Shortest path problem Simulation Transportation planning Choice modelling Choice Route choice Mathematics
136	Path Planning for Motion Dependent State Estimation on Micro Aerial Vehicles Markus W. Achtelik, Stephan Weiss, Margarita Chli and Roland Siegwart Abstract— With navigation algorithms reaching a certain maturity in the Add to Reading List Source URL: www.margaritachli.com Language: English - Date: 2013-05-23 12:32:25 Control theory Linear filters Edsger W. Dijkstra Kalman filter Robot control Shortest path problem Covariance
137	Weakest Precondition Synthesis for Compiler Optimizations Nuno P. Lopes and Jos´e Monteiro INESC-ID, IST Universidade de Lisboa Abstract. Compiler optimizations play an increasingly important role Add to Reading List Source URL: web.ist.utl.pt Language: English - Date: 2013-11-29 09:30:12 Software Computing Compiler construction Programming language implementation Compiler optimizations Formal methods Edsger W. Dijkstra Predicate transformer semantics Optimizing compiler Static single assignment form Compiler Psyco
138	Sampling-based Path Planning on Configuration-Space Costmaps L´eonard Jaillet, Juan Cort´es and Thierry Sim´eon Abstract—This paper addresses path planning considering a cost function defined over the configuration Add to Reading List Source URL: homepages.laas.fr Language: English - Date: 2010-04-27 11:09:20 Search algorithms Mathematics Routing algorithms Information science Information retrieval Edsger W. Dijkstra Combinatorial optimization Robot navigation A* search algorithm Shortest path problem Motion planning Rapidly-exploring random tree
139	Oracle Semantics for Concurrent Separation Logic (Extended Version) Aquinas Hobor1⋆ Andrew W. Appel1⋆ 1 Add to Reading List Source URL: www.cs.princeton.edu Language: English - Date: 2008-01-04 15:33:28 Theoretical computer science Logic in computer science Logic Mathematical logic Edsger W. Dijkstra Formal methods Separation logic Substructural logic Concurrent computing Modal logic Semantics Parallel computing
140	Concurrency Attacks Junfeng Yang, Ang Cui, Sal Stolfo, Simha Sethumadhavan {junfeng, ang, sal, simha}cs.columbia.edu Department of Computer Science Columbia University Add to Reading List Source URL: www.cs.columbia.edu Language: English - Date: 2016-01-23 22:11:32 Concurrent computing Software bugs Computer memory Software testing Edsger W. Dijkstra Concurrency Code injection Computer security Go Lock Thread Parallel computing

UPDATE